On Core XPath with Inflationary Fixed Points
نویسندگان
چکیده
منابع مشابه
On Core XPath with Inflationary Fixed Points
In this report, we prove the undecidability of Core XPath 1.0 (CXP) [6] extended with an Inflationary Fixed Point (IFP) operator. We prove that the satisfiability problem of this language is undecidable. In fact, the fragment of CXP+IFP containing only the self and descendant axes is already undecidable.
متن کاملBacktracking Games and Inflationary Fixed Points
We define a new class of games, called backtracking games. Backtracking games are essentially parity games with an additional rule allowing players, under certain conditions, to return to an earlier position in the play and revise a choice. This new feature makes backtracking games more powerful than parity games. As a consequence, winning strategies become more complex objects and computationa...
متن کاملOn Common Fixed Points
Some fixed point theorems based on an asymptotic regularity condition have been obtained, which generalize the previously well-known results. 2000 Mathematics Subject Classification: 47H10, 54H25.
متن کاملType-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types
Type systems certify program properties in a compositional way. From a bigger program one can abstract out a part and certify the properties of the resulting abstract program by just using the type of the part that was abstracted away. Termination and productivity are non-trivial yet desired program properties, and several type systems have been put forward that guarantee termination, compositi...
متن کاملOn Characterizations of Fixed Points
We give some necessary and sufficient conditions for the existence of fixed points of a family of self mappings of a metric space and we establish an equivalent condition for the existence of fixed points of a continuous compact mapping of a metric space. 2000 Mathematics Subject Classification. 54H25.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: RAIRO - Theoretical Informatics and Applications
سال: 2012
ISSN: 0988-3754,1290-385X
DOI: 10.1051/ita/2012027